Reasoning about Concepts by Rough Mereological Logics
نویسندگان
چکیده
Rough mereology allows for similarity measures (called rough inclusions) which in turn form a basis for the mechanism of granulation of knowledge. Granules of knowledge, defined as classes of satisfactorily similar objects, can be regarded as worlds in which properties of entities are evaluated. Obtained in this way granular rough mereological intensional logics reveal essential properties of rough set based reasoning. We present in this work the essential facts about these logics.
منابع مشابه
A formal approach to Perception Calculus of Zadeh by means of rough mereological logic
Rough set theory is a paradigm for approximate reasoning based on the assumption that concepts are divided into exact and non–exact (called also rough) ones by means of a topological structure induced by a representation of knowledge as a classification. A classification in its most simple form is an equivalence relation on a universe of objects; the classification induces a partition topology ...
متن کاملApproximate Reasoning about Complex Objects in Distributed Systems: Rough Mereological Formalization ?
We propose an approach to approximate reasoning by systems of intelligent agents based on the paradigm of rough mereology. In this approach, the knowledge of each agent is formalized as an information system (a data table) from which similarity measures on objects manipulated by this agent are inferred. These similarity measures are based on rough mereological inclusions which formally render d...
متن کاملBidirectional mereological reasoning in anatomical knowledge bases
Mereological relationships--relationships between parts and wholes--are essential for ontological engineering in the anatomical domain. We propose a knowledge engineering approach that emulates mereological reasoning by taxonomic reasoning based on SEP triplets, a special data structure for the encoding of part-whole relations, which is fully embedded in the formal framework of standard descrip...
متن کاملOn Rough Terminological Logics
In this paper, we incorporate the notion of rough sets into terminological logics. Terminological logics formalize the classical frame-based knowledge representation systems in AI and can represent and reason about concepts and roles in the objective worlds. In such logics, a concept is interpreted as a class of individuals, while a role is a binary relations between them. Since the extensions ...
متن کاملOn Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge
Representing and reasoning about knowledge is critical in Artificial Intelligence. There is a distinction between factual and ontological knowledge. Factual knowledge represents a set of facts about individual objects that are known or believed whereas ontological (background) knowledge represents implicit concepts and relationships that are assumed to exist in the world. Ontological knowledge ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008